number CTU – CMP – 2007 – 27 September 13 , 2008
نویسندگان
چکیده
We address the problem of energy minimization, which is (1) generally NP-complete and (2) involves many discrete variables – commonly a 2D array of them, arising from an MRF model. One of the approaches to the problem is to formulate it as integer linear programming and relax integrality constraints. However this can be done in a number of possible ways. One, widely applied previously (LP-1) [19, 13, 4, 22, 9, 23], appears to lead to a large-scale linear program which is not practical to solve with general LP methods. A number of algorithms were developed which attempt to solve the problem exploiting its structure [14, 23, 22, 9], however their common drawback is that they may converge to a suboptimal point. The other LP relaxation we consider here is constructed by (1) reformulating the optimization problem in the form of a function of binary variables [18], and (2) applying the roof duality relaxation [6] to the reformulated problem. We refer to the resulting relaxation as LP-2. It is different from LP-1 in many respects, and this is the main question of our study. Most importantly, it is possible to apply an efficient, fully combinatorial, algorithm to solve the relaxed problem. We also derive the following relations: a) LP-1 is generally a tighter relaxation than LP-2, b) LP-2 provides constraints on optimal integer configurations, which allows one to identify “a part” of an optimal solution, c) a subclass of problems can be identified for which LP-2 is as tight as LP-1 providing additional characterization of solutions of LP-1 for this subclass. Our last contribution is providing an alternative formulation of LP-2: we prove that it is equivalent to computing a decomposition of the energy into submodular and supermodular parts so that the sum of the lower bounds for each part is maximized.
منابع مشابه
Stereotactic Radiosurgery and Stereotactic Body Radiotherapy
Professional Institutional Original Effective Date: October 17, 2006 Original Effective Date: May 1, 2007 Revision Date(s): January 20, 2007; April 1, 2007; September 25, 2007; June 26, 2008; January 1, 2009; June 30, 2009; February 25, 2011; January 15, 2013; March 27, 2014; January 21, 2016; December 20, 2017 Revision Date(s): September 25, 2007; June 26, 2008; January 1, 2009; June 30, 2009;...
متن کاملOn functional central limit theorems for dependent, heterogeneous arrays with applications to tail index and tail dependence estimation
Article history: Received 18 September 2007 Received in revised form 27 June 2008 Accepted 21 September 2008 Available online 2 October 2008
متن کاملThymosin alpha1- and ulinastatin-based immunomodulatory strategy for sepsis arising from intra-abdominal infection due to carbapenem-resistant bacteria.
OBJECTIVE The aim of this study was to evaluate the potential efficacy of therapy with thymosin alpha(1) and ulinastatin for patients with sepsis due to carbapenem-resistant bacteria. DESIGN Prospective, randomized, parallel controlled clinical study. METHODS A total of 120 patients received a diagnosis of sepsis caused by infection with carbapenem-resistant bacteria and satisfied the study...
متن کاملImpact of coordinate transformation uncertainty on human sensorimotor control.
Humans build representations of objects and their locations by integrating imperfect information from multiple perceptual modalities (e.g., visual, haptic). Because sensory information is specified in different frames of reference (i.e., eye- and body-centered), it must be remapped into a common coordinate frame before integration and storage in memory. Such transformations require an understan...
متن کاملImproving supply chain performance management: A systematic approach to analyzing iterative KPI accomplishment
Article history: Improving supply chain p Received 5 August 2007 Received in revised form 19 July 2008 Accepted 18 September 2008 Available online 27 September 2008
متن کامل